1. Applied information security :
پدیدآورنده : David Basin, Patrick Schaller, Michael Schläpfer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Security measures.,Computer security.,Data encryption (Computer science),Data protection.
رده :
QA76
.
9
.
A25
B37
2011
2. Applied information security
پدیدآورنده : David Basin, Patrick Schaller, Michael Schlapfer,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Computer networks^aSecurity measures
رده :
TK
.
B37
5105
.
59
2011
3. Applied information security. a hands-on approach
پدیدآورنده : Basin, David
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Computer security,، Computer networks -- Security measures
رده :
QA
76
.
9
A25B69
2011
4. Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
پدیدآورنده : David Basin, Michael Rusinowitch )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3097
5. FMSE'03 : proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering : Washington, DC, USA, October 30, 2003 : co-located with CCS'03
پدیدآورنده : edited by Michael Backes, David Basin & Michael Waidner
کتابخانه: (طهران)
موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
A25A326
2003
6. FMSE'04 : proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, Washington, DC, USA, October 29, 2004 : co-located with CCS 2004
پدیدآورنده : Sponsored by ACM SIGSAC; General co-chairs : Michael Backes, David Basin & Michael Waidner
کتابخانه: (طهران)
موضوع : Congresses ، Computer security,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
A25A326
2004
7. Labelled Deduction
پدیدآورنده : edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
8. Principles of Security and Trust
پدیدآورنده : / David Basin, John C. Mitchell
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
9. Principles of security and trust :
پدیدآورنده : David Basin, John C. Mitchell (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks -- Security measures -- Congresses.,Computer security -- Congresses.,Data encryption (Computer science) -- Congresses.
رده :
QA76
.
9
.
A25
D385
2013
10. Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings
پدیدآورنده : David Basin, Burkhart Wolff )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2758
